HS规则相关论文
本文在二值谓词逻辑系统中引入一类特殊解释，即论域有限的解释，给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义，并证明......
研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义......
基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式......
